menu: Remove initially_pushed_in flag
authorTimm Bäder <mail@baedert.org>
Sun, 5 Aug 2018 10:26:19 +0000 (12:26 +0200)
committerTimm Bäder <mail@baedert.org>
Sat, 18 Aug 2018 18:54:29 +0000 (20:54 +0200)
commit2322f38bf9985400cd26b84924c3441be1c616fa
treea67adb2c1622e609ec7371d433b72c2a3d087e47
parentdcb6c9b4cfdb2f6a8e73df42b9ddffd400c2e185
menu: Remove initially_pushed_in flag

Unused.
gtk/gtkmenuprivate.h